منابع مشابه
Update on the systolic hypertension in Europe (Syst-Eur) trial. The Syst-Eur Investigators.
The Syst-Eur trial was stopped after the second of 4 planned interim analyses, when predefined stopping rules1 revealed that active treatment diminished the incidence of stroke, the primary endpoint. The ethics committee unanimously resolved that all endpoints that had occurred before February 14, 1997, at 5 PM should be included in the final analysis. The long communication lines between the c...
متن کاملHam-alc
HAM-ALC: The tests were performed using HAM-ALC version 1.1. HAM-ALC [2] is a description logic classifier which has been constructed for providing a basis for an optimized ALCRP(D) [1] implementation. Based on a sound and complete tableau algorithm HAM-ALC currently implements a true ABox reasoner for the logic ALC. HAM-ALC employs a few optimizations inspired by FaCT [3], in particular semant...
متن کاملExplaining ALC Subsumption
Knowledge representation systems, including ones based on Description Logics (DLs), use explanation facilities to, among others, debug knowledge bases. Until now, such facilities were not available for expressive DLs, whose reasoning is an un-natural refutation-based tableau. We offer a solution based on a sequent calculus that is closely related to the tableau implementation, exploiting its op...
متن کاملALC: Alcohol Language Corpus
A number of forensic studies published during the last 50 years report that intoxication with alcohol influences speech in a way that is made manifest in certain features of the speech signal. However, most of these studies are based on data that are not publicly available nor of statistically sufficient size. Furthermore, in spite of the positive reports nobody ever successfully implemented a ...
متن کاملDistributed Resolution for ALC
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the problem of scalable reasoning by proposing a distributed, complete and terminating algorithm that decides satisfiability of terminologies in ALC. The algorithm is based on recent results on applying resolution to descr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Classical Review
سال: 1904
ISSN: 0009-840X,1464-3561
DOI: 10.1017/s0009840x00990498